class db_remove extends FunBuiltin("db_remove",3){
  override def exec(pr:Prog):Int={
    var db:DataBase=((getArg(0).asInstanceOf[ScalaObject]).toObject()).asInstanceOf[DataBase]
    var a:Term = getArg(1)
    var b:Term = db.cin(X.getKey(),a)
    return putArg(2,b,pr)
  }
}
